Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic

Autonomous critical systems, such as satellites and space rovers, must be able to detect the occurrence of faults in order to ensure correct operation. This task is carried out by Fault Detection and Identification (FDI) components, that are embedded in those systems and are in charge of detecting faults in an automated and timely manner by reading data from sensors and triggering predefined alarms. The design of effective FDI components is an extremely hard problem, also due to the lack of a complete theoretical foundation, and of precise specification and validation techniques. In this paper, we present the first formal approach to the design of FDI components for discrete event systems, both in a synchronous and asynchronous setting. We propose a logical language for the specification of FDI requirements that accounts for a wide class of practical cases, and includes novel aspects such as maximality and trace-diagnosability. The language is equipped with a clear semantics based on temporal epistemic logic, and is proved to enjoy suitable properties. We discuss how to validate the requirements and how to verify that a given FDI component satisfies them. We propose an algorithm for the synthesis of correct-by-construction FDI components, and report on the applicability of the design approach on an industrial case-study coming from aerospace.Comment: 33 pages, 20 figure

ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems

Abstract. We present Ecdar a new tool for compositional design and verification of real time systems. In Ecdar, a component interface de-scribes both the behavior of the component and the component’s assump-tions about the environment. The tool supports the important operations of a good compositional reasoning theory: composition, conjunction, quo-tient, consistency/satisfaction checking, and refinement. The operators can be used to combine basic models into larger specifications to con-struct comprehensive system descriptions from basic requirements. Algo-rithms to perform these operations have been based on a game theoretical setting that permits, for example, to capture the real-time constraints on communication events between components. The compositional ap-proach allows for scalability in the verification.

First Observation of Coherent π0\pi^0 Production in Neutrino Nucleus Interactions with Eν<E_{\nu}< 2 GeV

The MiniBooNE experiment at Fermilab has amassed the largest sample to date of $\pi^0$s produced in neutral current (NC) neutrino-nucleus interactions at low energy. This paper reports a measurement of the momentum distribution of $\pi^0$s produced in mineral oil (CH$_2$) and the first observation of coherent $\pi^0$ production below 2 GeV. In the forward direction, the yield of events observed above the expectation for resonant production is attributed primarily to coherent production off carbon, but may also include a small contribution from diffractive production on hydrogen. Integrated over the MiniBooNE neutrino flux, the sum of the NC coherent and diffractive modes is found to be (19.5 $\pm$1.1 (stat) $\pm$2.5 (sys))% of all exclusive NC $\pi^0$ production at MiniBooNE. These measurements are of immediate utility because they quantify an important background to MiniBooNE's search for $\nu_{\mu} \to \nu_e$ oscillations.Comment: Submitted to Phys. Lett.

Anisotropic flow of charged hadrons, pions and (anti-)protons measured at high transverse momentum in Pb-Pb collisions at sNN=2.76\sqrt{s_{\rm NN}}=2.76 TeV

The elliptic, $v_2$, triangular, $v_3$, and quadrangular, $v_4$, azimuthal anisotropic flow coefficients are measured for unidentified charged particles, pions and (anti-)protons in Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ TeV with the ALICE detector at the Large Hadron Collider. Results obtained with the event plane and four-particle cumulant methods are reported for the pseudo-rapidity range $|\eta|<0.8$ at different collision centralities and as a function of transverse momentum, $p_{\rm T}$, out to $p_{\rm T}=20$ GeV/$c$. The observed non-zero elliptic and triangular flow depends only weakly on transverse momentum for $p_{\rm T}>8$ GeV/$c$. The small $p_{\rm T}$ dependence of the difference between elliptic flow results obtained from the event plane and four-particle cumulant methods suggests a common origin of flow fluctuations up to $p_{\rm T}=8$ GeV/$c$. The magnitude of the (anti-)proton elliptic and triangular flow is larger than that of pions out to at least $p_{\rm T}=8$ GeV/$c$ indicating that the particle type dependence persists out to high $p_{\rm T}$.Comment: 16 pages, 5 captioned figures, authors from page 11, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/186

Centrality dependence of charged particle production at large transverse momentum in Pb-Pb collisions at sNN=2.76\sqrt{s_{\rm{NN}}} = 2.76 TeV

The inclusive transverse momentum ($p_{\rm T}$) distributions of primary charged particles are measured in the pseudo-rapidity range $|\eta|<0.8$ as a function of event centrality in Pb-Pb collisions at $\sqrt{s_{\rm{NN}}}=2.76$ TeV with ALICE at the LHC. The data are presented in the $p_{\rm T}$ range $0.15<p_{\rm T}<50$ GeV/$c$ for nine centrality intervals from 70-80% to 0-5%. The Pb-Pb spectra are presented in terms of the nuclear modification factor $R_{\rm{AA}}$ using a pp reference spectrum measured at the same collision energy. We observe that the suppression of high-$p_{\rm T}$ particles strongly depends on event centrality. In central collisions (0-5%) the yield is most suppressed with $R_{\rm{AA}}\approx0.13$ at $p_{\rm T}=6$-7 GeV/$c$. Above $p_{\rm T}=7$ GeV/$c$, there is a significant rise in the nuclear modification factor, which reaches $R_{\rm{AA}} \approx0.4$ for $p_{\rm T}>30$ GeV/$c$. In peripheral collisions (70-80%), the suppression is weaker with $R_{\rm{AA}} \approx 0.7$ almost independently of $p_{\rm T}$. The measured nuclear modification factors are compared to other measurements and model calculations.Comment: 17 pages, 4 captioned figures, 2 tables, authors from page 12, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/284

Measurement of charm production at central rapidity in proton-proton collisions at s=2.76\sqrt{s} = 2.76 TeV

The $p_{\rm T}$-differential production cross sections of the prompt (B feed-down subtracted) charmed mesons D$^0$, D$^+$, and D$^{*+}$ in the rapidity range $|y|<0.5$, and for transverse momentum $1< p_{\rm T} <12$ GeV/$c$, were measured in proton-proton collisions at $\sqrt{s} = 2.76$ TeV with the ALICE detector at the Large Hadron Collider. The analysis exploited the hadronic decays D$^0 \rightarrow$K$\pi$, D$^+ \rightarrow$K$\pi\pi$, D$^{*+} \rightarrow$D$^0\pi$, and their charge conjugates, and was performed on a $L_{\rm int} = 1.1$ nb$^{-1}$ event sample collected in 2011 with a minimum-bias trigger. The total charm production cross section at $\sqrt{s} = 2.76$ TeV and at 7 TeV was evaluated by extrapolating to the full phase space the $p_{\rm T}$-differential production cross sections at $\sqrt{s} = 2.76$ TeV and our previous measurements at $\sqrt{s} = 7$ TeV. The results were compared to existing measurements and to perturbative-QCD calculations. The fraction of cdbar D mesons produced in a vector state was also determined.Comment: 20 pages, 5 captioned figures, 4 tables, authors from page 15, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/307

Jet size dependence of single jet suppression in lead-lead collisions at sqrt(s(NN)) = 2.76 TeV with the ATLAS detector at the LHC

Measurements of inclusive jet suppression in heavy ion collisions at the LHC provide direct sensitivity to the physics of jet quenching. In a sample of lead-lead collisions at sqrt(s) = 2.76 TeV corresponding to an integrated luminosity of approximately 7 inverse microbarns, ATLAS has measured jets with a calorimeter over the pseudorapidity interval |eta| < 2.1 and over the transverse momentum range 38 < pT < 210 GeV. Jets were reconstructed using the anti-kt algorithm with values for the distance parameter that determines the nominal jet radius of R = 0.2, 0.3, 0.4 and 0.5. The centrality dependence of the jet yield is characterized by the jet "central-to-peripheral ratio," Rcp. Jet production is found to be suppressed by approximately a factor of two in the 10% most central collisions relative to peripheral collisions. Rcp varies smoothly with centrality as characterized by the number of participating nucleons. The observed suppression is only weakly dependent on jet radius and transverse momentum. These results provide the first direct measurement of inclusive jet suppression in heavy ion collisions and complement previous measurements of dijet transverse energy imbalance at the LHC.Comment: 15 pages plus author list (30 pages total), 8 figures, 2 tables, submitted to Physics Letters B. All figures including auxiliary figures are available at http://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/HION-2011-02

Measurement of jet suppression in central Pb-Pb collisions at root s(NN)=2.76 TeV

The transverse momentum(p(T)) spectrum and nuclear modification factor (R-AA) of reconstructed jets in 0-10% and 10-30% central Pb-Pb collisions at root s(NN) = 2.76 TeV were measured. Jets were reconstructed using the anti-k(T) jet algorithm with a resolution parameter of R = 0.2 from charged and neutral particles, utilizing the ALICE tracking detectors and Electromagnetic Calorimeter (EMCal). The jet p(T) spectra are reported in the pseudorapidity interval of \eta(jet)\ 5 GeV/c to suppress jets constructed from the combinatorial background in Pb-Pb collisions. The leading charged particle requirement applied to jet spectra both in pp and Pb-Pb collisions had a negligible effect on the R-AA. The nuclear modification factor R-AA was found to be 0.28 +/- 0.04 in 0-10% and 0.35 +/- 0.04 in 10-30% collisions, independent of p(T), jet within the uncertainties of the measurement. The observed suppression is in fair agreement with expectations from two model calculations with different approaches to jet quenching. (C) 2015 CERN for the benefit of the ALICE Collaboration. Published by Elsevier B.V.Peer reviewe

Neutral pion and η\eta meson production in proton-proton collisions at s=0.9\sqrt{s}=0.9 TeV and s=7\sqrt{s}=7 TeV

The first measurements of the invariant differential cross sections of inclusive $\pi^0$ and $\eta$ meson production at mid-rapidity in proton-proton collisions at $\sqrt{s}=0.9$ TeV and $\sqrt{s}=7$ TeV are reported. The $\pi^0$ measurement covers the ranges $0.4<p_T<7$ GeV/$c$ and $0.3<p_T<25$ GeV/$c$ for these two energies, respectively. The production of $\eta$ mesons was measured at $\sqrt{s}=7$ TeV in the range $0.4<p_T<15$ GeV/$c$. Next-to-Leading Order perturbative QCD calculations, which are consistent with the $\pi^0$ spectrum at $\sqrt{s}=0.9$ TeV, overestimate those of $\pi^0$ and $\eta$ mesons at $\sqrt{s}=7$ TeV, but agree with the measured $\eta/\pi^0$ ratio at $\sqrt{s}=7$ TeV.Comment: 17 pages, 5 captioned figures, 2 tables, authors from page 12, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/310

Multiplicity dependence of (anti-)deuteron production in pp collisions at root s=7 TeV

none1019siIn this letter, the production of deuterons and anti-deuterons in pp collisions at root s = 7 TeV is studied as a function of the charged-particle multiplicity density at mid-rapidity with the ALICE detector at the LHC. Production yields are measured at mid-rapidity in five multiplicity classes and as a function of the deuteron transverse momentum (p(T)). The measurements are discussed in the context of hadron-coalescence models. The coalescence parameter B-2, extracted from the measured spectra of (anti-)deuteronsand primary (anti-)protons, exhibits no significant p(T)-dependence for p(T) < 3 GeV/c, in agreement with the expectations of a simple coalescence picture. At fixed transverse momentum per nucleon, the B-2 parameter is found to decrease smoothly from low multiplicity pp to Pb-Pb collisions, in qualitative agreement with more elaborate coalescence models. The measured mean transverse momentum of (anti-)deuterons in pp is not reproduced by the Blast-Wave model calculations that simultaneously describe pion, kaon and proton spectra, in contrast to central Pb-Pb collisions. The ratio between the p(T)-integrated yield of deuterons to protons, d/p, is found to increase with the charged-particle multiplicity, as observed in inelastic pp collisions at different centre-of-mass energies. The d/p ratios are reported in a wide range, from the lowest to the highest multiplicity values measured in pp collisions at the LHC. (C) 2019 The Author(s). Published by Elsevier B.VnoneAcharya, S.; Acosta, F. T.; Adamova, D.; Adhya, S. P.; Adler, A.; Adolfsson, J.; Aggarwal, M. M.; Rinella, G. Aglieri; Agnello, M.; Ahammed, Z.; Ahmad, S.; Ahn, S. U.; Aiola, S.; Akindinov, A.; Al-Turany, M.; Alam, S. N.; Albuquerque, D. S. D.; Aleksandrov, D.; Alessandro, B.; Alfanda, H. M.; Alfaro Molina, R.; Ali, B.; Ali, Y.; Alici, A.; Alkin, A.; Alme, J.; Alt, T.; Altenkamper, L.; Altsybeev, I; Anaam, M. N.; Andrei, C.; Andreou, D.; Andrews, H. A.; Andronic, A.; Angeletti, M.; Anguelov, V; Anson, C.; Anticic, T.; Antinori, F.; Antonioli, P.; Anwar, R.; Apadula, N.; Aphecetche, L.; Appelshaeuser, H.; Arcelli, S.; Arnaldi, R.; Arratia, M.; Arsene, I. C.; Arslandok, M.; Augustinus, A.; Averbeck, R.; Azmi, M. D.; Badala, A.; Baek, Y. W.; Bagnasco, S.; Bailhache, R.; Bala, R.; Baldisseri, A.; Ball, M.; Baral, R. C.; Barbera, R.; Barioglio, L.; Barnafoldi, G. G.; Barnby, L. S.; Barret, V; Bartalini, P.; Barth, K.; Bartsch, E.; Bastid, N.; Basu, S.; Batigne, G.; Batyunya, B.; Batzing, P. C.; Bauri, D.; Bazo Alba, J. L.; Bearden, I. G.; Bedda, C.; Behera, N. K.; Belikov, I; Bellini, F.; Bello Martinez, H.; Bellwied, R.; Beltran, L. G. E.; Belyaev, V; Bencedi, G.; Beole, S.; Bercuci, A.; Berdnikov, Y.; Berenyi, D.; Bertens, R. A.; Berzano, D.; Betev, L.; Bhasin, A.; Bhat, I. R.; Bhatt, H.; Bhattacharjee, B.; Bianchi, A.; Bianchi, L.; Bianchi, N.; Bielcik, J.; Bielcikova, J.; Bilandzic, A.; Biro, G.; Biswas, R.; Biswas, S.; Blair, J. T.; Blau, D.; Blume, C.; Boca, G.; Bock, F.; Bogdanov, A.; Boldizsar, L.; Bolozdynya, A.; Bombara, M.; Bonomi, G.; Bonora, M.; Borel, H.; Borissov, A.; Borri, M.; Botta, E.; Bourjau, C.; Bratrud, L.; Braun-Munzinger, P.; Bregant, M.; Broker, T. A.; Broz, M.; Brucken, E. J.; Bruna, E.; Bruno, G. E.; Buckland, M. D.; Budnikov, D.; Buesching, H.; Bufalino, S.; Buhler, P.; Buncic, P.; Busch, O.; Buthelezi, Z.; Butt, J. B.; Buxton, J. T.; Caffarri, D.; Caines, H.; Caliva, A.; Calvo Villar, E.; Camacho, R. S.; Camerini, P.; Capon, A. A.; Carnesecchi, F.; Castellanos, J. Castillo; Castro, A. J.; Casula, E. A. R.; Sanchez, C. Ceballos; Chakraborty, P.; Chandra, S.; Chang, B.; Chang, W.; Chapeland, S.; Chartier, M.; Chattopadhyay, S.; Chauvin, A.; Cheshkov, C.; Cheynis, B.; Barroso, V. Chibante; Chinellato, D. D.; Cho, S.; Chochula, P.; Chowdhury, T.; Christakoglou, P.; Christensen, C. H.; Christiansen, P.; Chujo, T.; Cicalo, C.; Cifarelli, L.; Cindolo, F.; Cleymans, J.; Colamaria, F.; Colella, D.; Collu, A.; Colocci, M.; Concas, M.; Balbastre, G. Conesa; del Valle, Z. Conesa; Contin, G.; Contreras, J. G.; Cormier, T. M.; Morales, Y. Corrales; Cortese, P.; Cosentino, M. R.; Costa, F.; Costanza, S.; Crkovska, J.; Crochet, P.; Cuautle, E.; Cunqueiro, L.; Dabrowski, D.; Dahms, T.; Dainese, A.; Damas, F. P. A.; Dani, S.; Danisch, M. C.; Danu, A.; Das, D.; Das, I; Das, S.; Dash, A.; Dash, S.; Dashi, A.; De, S.; De Caro, A.; de Cataldo, G.; de Conti, C.; de Cuveland, J.; De Falco, A.; De Gruttola, D.; De Marco, N.; De Pasquale, S.; De Souza, R. D.; Degenhardt, H. F.; Deisting, A.; Deloff, A.; Delsanto, S.; Dhankher, P.; Di Bari, D.; Di Mauro, A.; Diaz, R. A.; Dietel, T.; Dillenseger, P.; Ding, Y.; Divia, R.; Djuvsland, O.; Dobrin, A.; Domenicis Gimenez, D.; Doenigus, B.; Dordic, O.; Dubey, A. K.; Dubla, A.; Dudi, S.; Duggal, A. K.; Dukhishyam, M.; Dupieux, P.; Ehlers, R. J.; Elia, D.; Engel, H.; Epple, E.; Erazmus, B.; Erhardt, F.; Erokhin, A.; Ersdal, M. R.; Espagnon, B.; Eulisse, G.; Eum, J.; Evans, D.; Evdokimov, S.; Fabbietti, L.; Faggin, M.; Faivre, J.; Fantoni, A.; Fasel, M.; Feldkamp, L.; Feliciello, A.; Feofilov, G.; Fernandez Tellez, A.; Ferrero, A.; Ferretti, A.; Festanti, A.; Feuillard, V. J. G.; Figiel, J.; Filchagin, S.; Finogeev, D.; Fionda, F. M.; Fiorenza, G.; Flor, F.; Floris, M.; Foertsch, S.; Foka, P.; Fokin, S.; Fragiacomo, E.; Francisco, A.; Frankenfeld, U.; Fronze, G. G.; Fuchs, U.; Furget, C.; Furs, A.; Girard, M. Fusco; Gaardhoje, J. J.; Gagliardi, M.; Gago, A. M.; Gajdosova, K.; Galvan, C. D.; Ganoti, P.; Garabatos, C.; Garcia-Solis, E.; Garg, K.; Gargiulo, C.; Garner, K.; Gasik, P.; Gauger, E. F.; Gay Ducati, M. B.; Germain, M.; Ghosh, J.; Ghosh, P.; Ghosh, S. K.; Gianotti, P.; Giubellino, P.; Giubilato, P.; Glaessel, P.; Gomez Coral, D. M.; Ramirez, A. Gomez; Gonzalez, V; Gonzalez-Zamora, P.; Gorbunov, S.; Gorlich, L.; Gotovac, S.; Grabski, V; Graczykowski, L. K.; Graham, K. L.; Greiner, L.; Grelli, A.; Grigoras, C.; Grigoriev, V; Grigoryan, A.; Grigoryan, S.; Gronefeld, J. M.; Grosa, F.; Grosse-Oetringhaus, J. F.; Grosso, R.; Guernane, R.; Guerzoni, B.; Guittiere, M.; Gulbrandsen, K.; Gunji, T.; Gupta, A.; Gupta, R.; Guzman, I. B.; Haake, R.; Habib, M. K.; Hadjidakis, C.; Hamagaki, H.; Hamar, G.; Hamid, M.; Hamon, J. C.; Hannigan, R.; Haque, M. R.; Harlenderova, A.; Harris, J. W.; Harton, A.; Hassan, H.; Hatzifotiadou, D.; Hauer, P.; Hayashi, S.; Heckel, S. T.; Hellbaer, E.; Helstrup, H.; Herghelegiu, A.; Hernandez, E. G.; Herrera Corral, G.; Herrmann, F.; Hetland, K. F.; Hilden, T. E.; Hillemanns, H.; Hills, C.; Hippolyte, B.; Hohlweger, B.; Horak, D.; Hornung, S.; Hosokawa, R.; Hota, J.; Hristov, P.; Huang, C.; Hughes, C.; Huhn, P.; Humanic, T. J.; Hushnud, H.; Husova, L. A.; Hussain, N.; Hussain, T.; Hutter, D.; Hwang, D. S.; Iddon, J. P.; Ilkaev, R.; Inaba, M.; Ippolitov, M.; Islam, M. S.; Ivanov, M.; Ivanov, V; Izucheev, V; Jacak, B.; Jacazio, N.; Jacobs, P. M.; Jadhav, M. B.; Jadlovska, S.; Jadlovsky, J.; Jaelani, S.; Jahnke, C.; Jakubowska, M. J.; Janik, M. A.; Jercic, M.; Jevons, O.; Bustamante, R. T. Jimenez; Jin, M.; Jones, P. G.; Jusko, A.; Kalinak, P.; Kalweit, A.; Kang, J. H.; Kaplin, V; Kar, S.; Uysal, A. Karasu; Karavichev, O.; Karavicheva, T.; Karczmarczyk, P.; Karpechev, E.; Kebschull, U.; Keidel, R.; Keil, M.; Ketzer, B.; Khabanova, Z.; Khan, A. M.; Khan, S.; Khan, S. A.; Khanzadeev, A.; Kharlov, Y.; Khatun, A.; Khuntia, A.; Kielbowicz, M. M.; Kileng, B.; Kim, B.; Kim, D.; Kim, D. J.; Kim, E. J.; Kim, H.; Kim, J. S.; Kim, J.; Kim, M.; Kim, S.; Kim, T.; Kindra, K.; Kirsch, S.; Kisel, I; Kiselev, S.; Kisiel, A.; Klay, J. L.; Klein, C.; Klein, J.; Klein, S.; Klein-Boesing, C.; Klewin, S.; Kluge, A.; Knichel, M. L.; Knospe, A. G.; Kobdaj, C.; Kofarago, M.; Koehler, M. K.; Kollegger, T.; Kondratyeva, N.; Kondratyuk, E.; Konopka, P. J.; Konyushikhin, M.; Koska, L.; Kovalenko, O.; Kovalenko, V; Kowalski, M.; Kralik, I; Kravcakova, A.; Kreis, L.; Krivda, M.; Krizek, F.; Krueger, M.; Kryshen, E.; Krzewicki, M.; Kubera, A. M.; Kucera, V; Kuhn, C.; Kuijer, P. G.; Kumar, L.; Kumar, S.; Kundu, S.; Kurashvili, P.; Kurepin, A.; Kurepin, A. B.; Kushpil, S.; Kvapil, J.; Kweon, M. J.; Kwon, Y.; La Pointe, S. L.; La Rocca, P.; Lai, Y. S.; Langoy, R.; Lapidus, K.; Lardeux, A.; Larionov, P.; Laudi, E.; Lavicka, R.; Lazareva, T.; Lea, R.; Leardini, L.; Lee, S.; Lehas, F.; Lehner, S.; Lehrbach, J.; Lemmon, R. C.; Leon Monzon, I; Levai, P.; Li, X.; Li, X. L.; Lien, J.; Lietava, R.; Lim, B.; Lindal, S.; Lindenstruth, V; Lindsay, S. W.; Lippmann, C.; Lisa, M. A.; Litichevskyi, V; Liu, A.; Ljunggren, H. M.; Llope, W. J.; Lodato, D. F.; Loginov, V; Loizides, C.; Loncar, P.; Lopez, X.; Lopez Torres, E.; Luettig, P.; Luhder, J. R.; Lunardon, M.; Luparello, G.; Lupi, M.; Maevskaya, A.; Mager, M.; Mahmood, S. M.; Mahmoud, T.; Maire, A.; Majka, R. D.; Malaev, M.; Malik, Q. W.; Malinina, L.; Mal'Kevich, D.; Malzacher, P.; Mamonov, A.; Manko, V; Manso, F.; Manzari, V; Mao, Y.; Marchisone, M.; Mares, J.; Margagliotti, G., V; Margotti, A.; Margutti, J.; Marin, A.; Markert, C.; Marquard, M.; Martin, N. A.; Martinengo, P.; Martinez, J. L.; Martinez, M., I; Garcia, G. Martinez; Pedreira, M. Martinez; Masciocchi, S.; Masera, M.; Masoni, A.; Massacrier, L.; Masson, E.; Mastroserio, A.; Mathis, A. M.; Matuoka, P. F. T.; Matyja, A.; Mayer, C.; Mazzilli, M.; Mazzoni, M. A.; Meddi, F.; Melikyan, Y.; Menchaca-Rocha, A.; Meninno, E.; Meres, M.; Mhlanga, S.; Miake, Y.; Micheletti, L.; Mieskolainen, M. M.; Mihaylov, D. L.; Mikhaylov, K.; Mischke, A.; Mishra, A. N.; Miskowiec, D.; Mitra, J.; Mitu, C. M.; Mohammadi, N.; Mohanty, A. P.; Mohanty, B.; Khan, M. Mohisin; Mondal, M. M.; Mordasini, C.; De Godoy, D. A. Moreira; Moreno, L. A. P.; Moretto, S.; Morreale, A.; Morsch, A.; Mrnjavac, T.; Muccifora, V; Mudnic, E.; Muehlheim, D.; Muhuri, S.; Mukherjee, M.; Mulligan, J. D.; Munhoz, M. G.; Muenning, K.; Munzer, R. H.; Murakami, H.; Murray, S.; Musa, L.; Musinsky, J.; Myers, C. J.; Myrcha, J. W.; Naik, B.; Nair, R.; Nandi, B. K.; Nania, R.; Nappi, E.; Naru, M. U.; Nassirpour, A. F.; Natal da Luz, H.; Nattrass, C.; Navarro, S. R.; Nayak, K.; Nayak, R.; Nayak, T. K.; Nazarenko, S.; De Oliveira, R. A. Negrao; Nellen, L.; Nesbo, S., V; Neskovic, G.; Ng, F.; Nielsen, B. S.; Nikolaev, S.; Nikulin, S.; Nikulin, V; Noferini, F.; Nomokonov, P.; Nooren, G.; Noris, J. C. C.; Norman, J.; Nyanin, A.; Nystrand, J.; Ogino, M.; Ohlson, A.; Oleniacz, J.; Oliveira Da Silva, A. C.; Oliver, M. H.; Onderwaater, J.; Oppedisano, C.; Orava, R.; Ortiz Velasquez, A.; Oskarsson, A.; Otwinowski, J.; Oyama, K.; Pachmayer, Y.; Pacik, V; Pagano, D.; Paic, G.; Palni, P.; Pan, J.; Pandey, A. K.; Panebianco, S.; Papikyan, V; Pareek, P.; Park, J.; Parkkila, J. E.; Parmar, S.; Passfeld, A.; Pathak, S. P.; Patra, R. N.; Paul, B.; Pei, H.; Peitzmann, T.; Peng, X.; Pereira, L. G.; Da Costa, H. Pereira; Peresunko, D.; Perez, G. M.; Lezama, E. Perez; Peskov, V; Pestov, Y.; Petracek, V; Petrovici, M.; Pezzi, R. P.; Piano, S.; Pikna, M.; Pillot, P.; Pimentel, L. O. D. L.; Pinazza, O.; Pinsky, L.; Pisano, S.; Piyarathna, D. B.; Ploskon, M.; Planinic, M.; Pliquett, F.; Pluta, J.; Pochybova, S.; Podesta-Lerma, P. L. M.; Poghosyan, M. G.; Polichtchouk, B.; Poljak, N.; Poonsawat, W.; Pop, A.; Poppenborg, H.; Porteboeuf-Houssais, S.; Pozdniakov, V; Prasad, S. K.; Preghenella, R.; Prino, F.; Pruneau, C. A.; Pshenichnov, I; Puccio, M.; Punin, V; Puranapanda, K.; Putschke, J.; Quishpe, R. E.; Ragoni, S.; Raha, S.; Rajput, S.; Rak, J.; Rakotozafindrabe, A.; Ramello, L.; Rami, F.; Raniwala, R.; Raniwala, S.; Rasanen, S. S.; Rascanu, B. T.; Rath, R.; Ratza, V; Ravasenga, I; Read, K. F.; Redlich, K.; Rehman, A.; Reichelt, P.; Reidt, F.; Ren, X.; Renfordt, R.; Reshetin, A.; Revol, J-P; Reygers, K.; Riabov, V; Richert, T.; Richter, M.; Riedler, P.; Riegler, W.; Riggi, F.; Ristea, C.; Rode, S. P.; Rodriguez Cahuantzi, M.; Roed, K.; Rogalev, R.; Rogochaya, E.; Rohr, D.; Rohrich, D.; Rokita, P. S.; Ronchetti, F.; Rosas, E. D.; Roslon, K.; Rosnet, P.; Rossi, A.; Rotondi, A.; Roukoutakis, F.; Roy, A.; Roy, P.; Rueda, O., V; Rui, R.; Rumyantsev, B.; Rustamov, A.; Ryabinkin, E.; Ryabov, Y.; Rybicki, A.; Saarinen, S.; Sadhu, S.; Sadovsky, S.; Safarik, K.; Saha, S. K.; Sahoo, B.; Sahoo, P.; Sahoo, R.; Sahoo, S.; Sahu, P. K.; Saini, J.; Sakai, S.; Sambyal, S.; Samsonov, V; Sandoval, A.; Sarkar, A.; Sarkar, D.; Sarkar, N.; Sarma, P.; Sarti, V. M.; Sas, M. H. P.; Scapparone, E.; Schaefer, B.; Schambach, J.; Scheid, H. S.; Schiaua, C.; Schicker, R.; Schmah, A.; Schmidt, C.; Schmidt, H. R.; Schmidt, M. O.; Schmidt, M.; Schmidt, N., V; Schmier, A. R.; Schukraft, J.; Schutz, Y.; Schwarz, K.; Schweda, K.; Scioli, G.; Scomparin, E.; Sefcik, M.; Seger, J. E.; Sekiguchi, Y.; Sekihata, D.; Selyuzhenkov, I; Senyukov, S.; Serradilla, E.; Sett, P.; Sevcenco, A.; Shabanov, A.; Shabetai, A.; Shahoyan, R.; Shaikh, W.; Shangaraev, A.; Sharma, A.; Sharma, M.; Sharma, N.; Sheikh, A., I; Shigaki, K.; Shimomura, M.; Shirinkin, S.; Shou, Q.; Sibiriak, Y.; Siddhanta, S.; Siemiarczuk, T.; Silvermyr, D.; Simatovic, G.; Simonetti, G.; Singh, R.; Singhal, V; Sinha, T.; Sitar, B.; Sitta, M.; Skaali, T. B.; Slupecki, M.; Smirnov, N.; Snellings, R. J. M.; Snellman, T. W.; Sochan, J.; Soncco, C.; Song, J.; Songmoolnak, A.; Soramel, F.; Sorensen, S.; Sozzi, F.; Sputowska, I; Stachel, J.; Stan, I; Stankus, P.; Stenlund, E.; Stocco, D.; Storetvedt, M. M.; Strmen, P.; Suaide, A. A. P.; Sugitate, T.; Suire, C.; Suleymanov, M.; Suljic, M.; Sultanov, R.; Sumbera, M.; Sumowidagdo, S.; Suzuki, K.; Swain, S.; Szabo, A.; Szarka, I; Tabassam, U.; Takahashi, J.; Tambave, G. J.; Tanaka, N.; Tarhini, M.; Tarzila, M. G.; Tauro, A.; Tejeda Munoz, G.; Telesca, A.; Terrevoli, C.; Thakur, D.; Thakur, S.; Thomas, D.; Thoresen, F.; Tieulent, R.; Tikhonov, A.; Timmins, A. R.; Toia, A.; Topilskaya, N.; Toppi, M.; Torres, S. R.; Tripathy, S.; Tripathy, T.; Trogolo, S.; Trombetta, G.; Tropp, L.; Trubnikov, V; Trzaska, W. H.; Trzcinski, T. P.; Trzeciak, B. A.; Tsuji, T.; Tumkin, A.; Turrisi, R.; Tveter, T. S.; Ullaland, K.; Umaka, E. N.; Uras, A.; Usai, G. L.; Utrobicic, A.; Vala, M.; Valencia Palomo, L.; Valle, N.; van der Kolk, N.; van Doremalen, L. V. R.; Van Hoorne, J. W.; van Leeuwen, M.; Vande Vyvre, P.; Varga, D.; Vargas, A.; Vargyas, M.; Varma, R.; Vasileiou, M.; Vasiliev, A.; Doce, O. Vazquez; Vechernin, V.; Veen, A. M.; Vercellin, E.; Vergara Limon, S.; Vermunt, L.; Vernet, R.; Vertesi, R.; Vickovic, L.; Viinikainen, J.; Vilakazi, Z.; Baillie, O. Villalobos; Villatoro Tello, A.; Vino, G.; Vinogradov, A.; Virgili, T.; Vislavicius, V.; Vodopyanov, A.; Volkel, B.; Voelkl, M. A.; Voloshin, K.; Voloshin, S. A.; Volpe, G.; von Haller, B.; Vorobyev, I; Voscek, D.; Vrlakova, J.; Wagner, B.; Wang, M.; Watanabe, Y.; Weber, M.; Weber, S. G.; Wegrzynek, A.; Weiser, D. F.; Wenzel, S. C.; Wessels, J. P.; Westerhoff, U.; Whitehead, A. M.; Widmann, E.; Wiechula, J.; Wikne, J.; Wilk, G.; Wilkinson, J.; Willems, G. A.; Willsher, E.; Windelband, B.; Witt, W. E.; Wu, Y.; Xu, R.; Yalcin, S.; Yamakawa, K.; Yano, S.; Yin, Z.; Yokoyama, H.; Yoo, I-K; Yoon, J. H.; Yuan, S.; Yurchenko, V; Zaccolo, V; Zaman, A.; Zampolli, C.; Zanoli, H. J. C.; Zardoshti, N.; Zarochentsev, A.; Zavada, P.; Zaviyalov, N.; Zbroszczyk, H.; Zhalov, M.; Zhang, X.; Zhang, Y.; Zhang, Z.; Zhao, C.; Zherebchevskii, V; Zhigareva, N.; Zhou, D.; Zhou, Y.; Zhou, Z.; Zhu, H.; Zhu, J.; Zhu, Y.; Zichichi, A.; Zimmermann, M. B.; Zinovjev, G.; Zurlo, N.Acharya, S.; Acosta, F. T.; Adamova, D.; Adhya, S. P.; Adler, A.; Adolfsson, J.; Aggarwal, M. M.; Rinella, G. Aglieri; Agnello, M.; Ahammed, Z.; Ahmad, S.; Ahn, S. U.; Aiola, S.; Akindinov, A.; Al-Turany, M.; Alam, S. N.; Albuquerque, D. S. D.; Aleksandrov, D.; Alessandro, B.; Alfanda, H. M.; Alfaro Molina, R.; Ali, B.; Ali, Y.; Alici, A.; Alkin, A.; Alme, J.; Alt, T.; Altenkamper, L.; Altsybeev, I; Anaam, M. N.; Andrei, C.; Andreou, D.; Andrews, H. A.; Andronic, A.; Angeletti, M.; Anguelov, V; Anson, C.; Anticic, T.; Antinori, F.; Antonioli, P.; Anwar, R.; Apadula, N.; Aphecetche, L.; Appelshaeuser, H.; Arcelli, S.; Arnaldi, R.; Arratia, M.; Arsene, I. C.; Arslandok, M.; Augustinus, A.; Averbeck, R.; Azmi, M. D.; Badala, A.; Baek, Y. W.; Bagnasco, S.; Bailhache, R.; Bala, R.; Baldisseri, A.; Ball, M.; Baral, R. C.; Barbera, R.; Barioglio, L.; Barnafoldi, G. G.; Barnby, L. S.; Barret, V; Bartalini, P.; Barth, K.; Bartsch, E.; Bastid, N.; Basu, S.; Batigne, G.; Batyunya, B.; Batzing, P. C.; Bauri, D.; Bazo Alba, J. L.; Bearden, I. G.; Bedda, C.; Behera, N. K.; Belikov, I; Bellini, F.; Bello Martinez, H.; Bellwied, R.; Beltran, L. G. E.; Belyaev, V; Bencedi, G.; Beole, S.; Bercuci, A.; Berdnikov, Y.; Berenyi, D.; Bertens, R. A.; Berzano, D.; Betev, L.; Bhasin, A.; Bhat, I. R.; Bhatt, H.; Bhattacharjee, B.; Bianchi, A.; Bianchi, L.; Bianchi, N.; Bielcik, J.; Bielcikova, J.; Bilandzic, A.; Biro, G.; Biswas, R.; Biswas, S.; Blair, J. T.; Blau, D.; Blume, C.; Boca, G.; Bock, F.; Bogdanov, A.; Boldizsar, L.; Bolozdynya, A.; Bombara, M.; Bonomi, G.; Bonora, M.; Borel, H.; Borissov, A.; Borri, M.; Botta, E.; Bourjau, C.; Bratrud, L.; Braun-Munzinger, P.; Bregant, M.; Broker, T. A.; Broz, M.; Brucken, E. J.; Bruna, E.; Bruno, G. E.; Buckland, M. D.; Budnikov, D.; Buesching, H.; Bufalino, S.; Buhler, P.; Buncic, P.; Busch, O.; Buthelezi, Z.; Butt, J. B.; Buxton, J. T.; Caffarri, D.; Caines, H.; Caliva, A.; Calvo Villar, E.; Camacho, R. S.; Camerini, P.; Capon, A. A.; Carnesecchi, F.; Castellanos, J. Castillo; Castro, A. J.; Casula, E. A. R.; Sanchez, C. Ceballos; Chakraborty, P.; Chandra, S.; Chang, B.; Chang, W.; Chapeland, S.; Chartier, M.; Chattopadhyay, S.; Chauvin, A.; Cheshkov, C.; Cheynis, B.; Barroso, V. Chibante; Chinellato, D. D.; Cho, S.; Chochula, P.; Chowdhury, T.; Christakoglou, P.; Christensen, C. H.; Christiansen, P.; Chujo, T.; Cicalo, C.; Cifarelli, L.; Cindolo, F.; Cleymans, J.; Colamaria, F.; Colella, D.; Collu, A.; Colocci, M.; Concas, M.; Balbastre, G. Conesa; del Valle, Z. Conesa; Contin, G.; Contreras, J. G.; Cormier, T. M.; Morales, Y. Corrales; Cortese, P.; Cosentino, M. R.; Costa, F.; Costanza, S.; Crkovska, J.; Crochet, P.; Cuautle, E.; Cunqueiro, L.; Dabrowski, D.; Dahms, T.; Dainese, A.; Damas, F. P. A.; Dani, S.; Danisch, M. C.; Danu, A.; Das, D.; Das, I; Das, S.; Dash, A.; Dash, S.; Dashi, A.; De, S.; De Caro, A.; de Cataldo, G.; de Conti, C.; de Cuveland, J.; De Falco, A.; De Gruttola, D.; De Marco, N.; De Pasquale, S.; De Souza, R. D.; Degenhardt, H. F.; Deisting, A.; Deloff, A.; Delsanto, S.; Dhankher, P.; Di Bari, D.; Di Mauro, A.; Diaz, R. A.; Dietel, T.; Dillenseger, P.; Ding, Y.; Divia, R.; Djuvsland, O.; Dobrin, A.; Domenicis Gimenez, D.; Doenigus, B.; Dordic, O.; Dubey, A. K.; Dubla, A.; Dudi, S.; Duggal, A. K.; Dukhishyam, M.; Dupieux, P.; Ehlers, R. J.; Elia, D.; Engel, H.; Epple, E.; Erazmus, B.; Erhardt, F.; Erokhin, A.; Ersdal, M. R.; Espagnon, B.; Eulisse, G.; Eum, J.; Evans, D.; Evdokimov, S.; Fabbietti, L.; Faggin, M.; Faivre, J.; Fantoni, A.; Fasel, M.; Feldkamp, L.; Feliciello, A.; Feofilov, G.; Fernandez Tellez, A.; Ferrero, A.; Ferretti, A.; Festanti, A.; Feuillard, V. J. G.; Figiel, J.; Filchagin, S.; Finogeev, D.; Fionda, F. M.; Fiorenza, G.; Flor, F.; Floris, M.; Foertsch, S.; Foka, P.; Fokin, S.; Fragiacomo, E.; Francisco, A.; Frankenfeld, U.; Fronze, G. G.; Fuchs, U.; Furget, C.; Furs, A.; Girard, M. Fusco; Gaardhoje, J. J.; Gagliardi, M.; Gago, A. M.; Gajdosova, K.; Galvan, C. D.; Ganoti, P.; Garabatos, C.; Garcia-Solis, E.; Garg, K.; Gargiulo, C.; Garner, K.; Gasik, P.; Gauger, E. F.; Gay Ducati, M. B.; Germain, M.; Ghosh, J.; Ghosh, P.; Ghosh, S. K.; Gianotti, P.; Giubellino, P.; Giubilato, P.; Glaessel, P.; Gomez Coral, D. M.; Ramirez, A. Gomez; Gonzalez, V; Gonzalez-Zamora, P.; Gorbunov, S.; Gorlich, L.; Gotovac, S.; Grabski, V; Graczykowski, L. K.; Graham, K. L.; Greiner, L.; Grelli, A.; Grigoras, C.; Grigoriev, V; Grigoryan, A.; Grigoryan, S.; Gronefeld, J. M.; Grosa, F.; Grosse-Oetringhaus, J. F.; Grosso, R.; Guernane, R.; Guerzoni, B.; Guittiere, M.; Gulbrandsen, K.; Gunji, T.; Gupta, A.; Gupta, R.; Guzman, I. B.; Haake, R.; Habib, M. K.; Hadjidakis, C.; Hamagaki, H.; Hamar, G.; Hamid, M.; Hamon, J. C.; Hannigan, R.; Haque, M. R.; Harlenderova, A.; Harris, J. W.; Harton, A.; Hassan, H.; Hatzifotiadou, D.; Hauer, P.; Hayashi, S.; Heckel, S. T.; Hellbaer, E.; Helstrup, H.; Herghelegiu, A.; Hernandez, E. G.; Herrera Corral, G.; Herrmann, F.; Hetland, K. F.; Hilden, T. E.; Hillemanns, H.; Hills, C.; Hippolyte, B.; Hohlweger, B.; Horak, D.; Hornung, S.; Hosokawa, R.; Hota, J.; Hristov, P.; Huang, C.; Hughes, C.; Huhn, P.; Humanic, T. J.; Hushnud, H.; Husova, L. A.; Hussain, N.; Hussain, T.; Hutter, D.; Hwang, D. S.; Iddon, J. P.; Ilkaev, R.; Inaba, M.; Ippolitov, M.; Islam, M. S.; Ivanov, M.; Ivanov, V; Izucheev, V; Jacak, B.; Jacazio, N.; Jacobs, P. M.; Jadhav, M. B.; Jadlovska, S.; Jadlovsky, J.; Jaelani, S.; Jahnke, C.; Jakubowska, M. J.; Janik, M. A.; Jercic, M.; Jevons, O.; Bustamante, R. T. Jimenez; Jin, M.; Jones, P. G.; Jusko, A.; Kalinak, P.; Kalweit, A.; Kang, J. H.; Kaplin, V; Kar, S.; Uysal, A. Karasu; Karavichev, O.; Karavicheva, T.; Karczmarczyk, P.; Karpechev, E.; Kebschull, U.; Keidel, R.; Keil, M.; Ketzer, B.; Khabanova, Z.; Khan, A. M.; Khan, S.; Khan, S. A.; Khanzadeev, A.; Kharlov, Y.; Khatun, A.; Khuntia, A.; Kielbowicz, M. M.; Kileng, B.; Kim, B.; Kim, D.; Kim, D. J.; Kim, E. J.; Kim, H.; Kim, J. S.; Kim, J.; Kim, M.; Kim, S.; Kim, T.; Kindra, K.; Kirsch, S.; Kisel, I; Kiselev, S.; Kisiel, A.; Klay, J. L.; Klein, C.; Klein, J.; Klein, S.; Klein-Boesing, C.; Klewin, S.; Kluge, A.; Knichel, M. L.; Knospe, A. G.; Kobdaj, C.; Kofarago, M.; Koehler, M. K.; Kollegger, T.; Kondratyeva, N.; Kondratyuk, E.; Konopka, P. J.; Konyushikhin, M.; Koska, L.; Kovalenko, O.; Kovalenko, V; Kowalski, M.; Kralik, I; Krav